module A {
  Number -> '1' | '2' | '3';
}
